1. Identificação | |
Tipo de Referência | Artigo em Revista Científica (Journal Article) |
Site | mtc-m21b.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP5W34M/3HE6FG2 |
Repositório | sid.inpe.br/mtc-m21b/2014/11.18.23.59.33 (acesso restrito) |
Última Atualização | 2017:07.21.14.29.01 (UTC) marcelo.pazos@inpe.br |
Repositório de Metadados | sid.inpe.br/mtc-m21b/2014/11.18.23.59.34 |
Última Atualização dos Metadados | 2018:06.04.03.04.32 (UTC) administrator |
DOI | 10.1504/IJWET.2014.063041 |
ISSN | 14761289 17419212 |
Rótulo | scopus 2014-11 ArantesVijaSouz:2014:ToSuGe |
Chave de Citação | ArantesSantVijaSouz:2014:ToSuGe |
Título | Tool support for generating model-based test cases via web |
Ano | 2014 |
Data de Acesso | 21 maio 2024 |
Tipo Secundário | PRE PI |
Número de Arquivos | 1 |
Tamanho | 1516 KiB |
|
2. Contextualização | |
Autor | 1 Arantes, A. O. 2 Santiago Junior, Valdivino Alexandre de 3 Vijaykumar, Nandamudi Lankalapalli 4 Souza, E. F. De |
Identificador de Curriculo | 1 2 8JMKD3MGP5W/3C9JJB5 3 8JMKD3MGP5W/3C9JHTU |
Grupo | 1 2 LAC-CTE-INPE-MCTI-GOV-BR 3 LAC-CTE-INPE-MCTI-GOV-BR |
Afiliação | 1 Instituto de Estudos Avançados (IEAv), P.O. Box 6044São José dos Campos, São Paulo, Brazil 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Nacional de Pesquisas Espaciais (INPE) 4 Instituto de Estudos Avançados (IEAv), P.O. Box 6044São José dos Campos, São Paulo, Brazil |
Endereço de e-Mail | marcelo.pazos@inpe.br |
Revista | International Journal of Web Engineering and Technology |
Volume | 9 |
Número | 1 |
Páginas | 62-96 |
Histórico (UTC) | 2016-07-03 20:31:33 :: administrator -> marcelo.pazos@inpe.br :: 2014 2017-07-21 14:29:01 :: marcelo.pazos@inpe.br -> administrator :: 2014 2018-06-04 03:04:32 :: administrator -> marcelo.pazos@inpe.br :: 2014 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Tipo do Conteúdo | External Contribution |
Tipo de Versão | publisher |
Palavras-Chave | Software testing Distributed development FSM Model based testing Statecharts WEB application Formal methods |
Resumo | Testing activities play an important role in order to obtain high quality software products. These activities become more important when considering critical software, for instance, space application software. Nowadays, there is an extensive collaboration among space institutions. So, it is more than natural to expect distributed development of software and software testing activities. Therefore, a collaborative tool hosted on the internet becomes quite useful. In this respect, WEB-PerformCharts 2.0 tool discussed in this paper moves in this direction. The tool focuses on supporting a single aspect of distributed software development: the activity of generating test cases via web. Moreover, it allows model-based test case generation by means of formal methods (formal languages statecharts and FSM) which are considered state of the art in software development. WEB-PerformCharts 2.0 can be used to generate test cases for any kind of reactive systems modelled in statecharts or FSM. We present three case studies in different application domains to demonstrate the feasibility of our tool. Copyright. |
Área | COMP |
Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Tool support for... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | não têm arquivos |
|
4. Condições de acesso e uso | |
Idioma | en |
Arquivo Alvo | arantes_tool.pdf |
Grupo de Usuários | administrator marcelo.pazos@inpe.br |
Grupo de Leitores | administrator marcelo.pazos@inpe.br |
Visibilidade | shown |
Permissão de Leitura | deny from all and allow from 150.163 |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Repositório Espelho | iconet.com.br/banon/2006/11.26.21.31 |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP |
Lista de Itens Citando | sid.inpe.br/mtc-m21/2012/07.13.15.01.24 6 sid.inpe.br/bibdigital/2013/09.22.23.14 1 sid.inpe.br/mtc-m21/2012/07.13.14.56.50 1 |
Divulgação | COMPENDEX; SCOPUS. |
Acervo Hospedeiro | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 |
|
6. Notas | |
Campos Vazios | alternatejournal archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel electronicmailaddress format isbn lineage mark month nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder schedulinginformation secondarydate secondarykey secondarymark session shorttitle sponsor subject tertiarymark tertiarytype typeofwork url |
|
7. Controle da descrição | |
e-Mail (login) | marcelo.pazos@inpe.br |
atualizar | |
|